Category Free Category Theory and Its Philosophical Implications
نویسندگان
چکیده
منابع مشابه
Implications of Yoneda Lemma to Category Theory
This is a survey paper on the implication of Yoneda lemma, named after Japanese mathematician Nobuo Yoneda, to category theory. We prove Yoneda lemma. We use Yoneda lemma to prove that each of the notions universal morphism, universal element, and representable functor subsumes the other two. We prove that a category is anti-equivalent to the category of its representable functors as a corollar...
متن کاملAxiomatizing Category Theory in Free Logic
Starting from a generalization of the standard axioms for a monoid we present a stepwise development of various, mutually equivalent foundational axiom systems for category theory. Our axiom sets have been formalized in the Isabelle/HOL interactive proof assistant, and this formalization utilizes a semantically correct embedding of free logic in classical higher-order logic. The modeling and fo...
متن کاملCategory Theory
This article presents a development of Category Theory in Isabelle. A Category is defined using records and locales in Isabelle/HOL. Functors and Natural Transformations are also defined. The main result that has been formalized is that the Yoneda functor is a full and faithful embedding. We also formalize the completeness of many sorted monadic equational logic. Extensive use is made of the HO...
متن کاملCategory Theory and Galois Theory
Galois theory translates questions about fields into questions about groups. The fundamental theorem of Galois theory states that there is a bijection between the intermediate fields of a field extension and the subgroups of the corresponding Galois group. After a basic introduction to category and Galois theory, this project recasts the fundamental theorem of Galois theory using categorical la...
متن کاملCategory theory and consciousness
We propose a new research program which provides an approach to consciousness and the t problem ofdeep reality. Our model is based on category theory. The need to t relate l t local l behavior to global behavior has convinced us early on that a good model l for conscious entities had to be found in the notion of sheaf. With t this t i formulation, f l ti , every presheaf represents a brain (orr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2016
ISSN: 2300-9802,1425-3305
DOI: 10.12775/llp.2016.013